home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / lib / eq.ml < prev    next >
Encoding:
Text File  |  1993-09-24  |  77 b   |  7 lines  |  [TEXT/MPS ]
  1. (* Equality functions *)
  2.  
  3. #open "bool";;
  4.  
  5. let prefix <> x y = not (x = y)
  6. ;;
  7.